<?php

namespace co2_OS;

function quit($status,$msg,\stdClass $options=null)

{
	if(!is_numeric($status))
	quit(ES_UNRECOGNIZED_EXIT_STATUS,'Status must be a number');
	
	echo 
#	  '<co2 status="'.$status.'">',
	  $msg,
#    '</co2>',
    PHP_EOL;
	
	exit( $status);
}
